(declare-fun a () Real)
(declare-fun b () Real)
(declare-fun c () Real)
(declare-fun d () Real)
(declare-fun n () Real)
(declare-fun e () Real)
(declare-fun f () Real)
(declare-fun i () Real)
(declare-fun g () Real)
(declare-fun h () Real)
(declare-fun m () Real)
(declare-fun j () Real)
(declare-fun k () Real)
(declare-fun l () Real)
(declare-fun o () Real)
(assert (not (= (< 0.0 j) (= l (- h)) (< 0.0 d (+ (* (- n) b f)) (- (/ 2.0 (- c g)) (* j m))))))
(assert (= a (+ e k) (mod f o)))
(assert (= i h))
(check-sat)
